Verifiable computing - PDFSEARCH.IO - Document Search Engine

Verifiable computing
Results: 55

#	Item
51	Shafi Goldwasser RSA Professor of Computer Science, Massachusetts Institute of Technology Professor of Computer Science and Applied Mathematics, Weizmann Institute of Science Principal Fields of Interest Add to Reading List Source URL: people.csail.mit.edu Language: English - Date: 2013-02-28 21:15:47 Formal sciences Shafi Goldwasser Women in technology Verifiable secret sharing Symposium on Foundations of Computer Science International Colloquium on Automata Languages and Programming Symposium on Theory of Computing Gödel Prize Manuel Blum Cryptography Theoretical computer science Applied mathematics
52	Distributed Computing Column 50 Distributing Trusted Third Parties, Innovation Prize, and SIROCCO Review Add to Reading List Source URL: people.csail.mit.edu Language: English - Date: 2013-05-16 05:06:00 Trusted third party Trusted Computing Secure multi-party computation Secret sharing ACM SIGACT Trusted timestamping Verifiable secret sharing Threshold cryptosystem Secure two-party computation Cryptography Cryptographic protocols Public-key cryptography
53	A Proof of Security of Yao’s Protocol for Two-Party Computation Yehuda Lindell∗ Add to Reading List Source URL: eprint.iacr.org Language: English - Date: 2011-01-11 03:00:15 Quantum complexity theory Oblivious transfer PP Function Verifiable computing Cryptography Theoretical computer science Mathematics
54	Non-Interactive Verifiable Computing: Outsourcing Computation to Untrusted Workers Rosario Gennaro1 , Craig Gentry1 , and Bryan Parno2 Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2010-09-13 21:49:30 Verifiable computing Security Computing Verifiable secret sharing Cryptography Distributed computing Secure communication
55	PDF Document Add to Reading List Source URL: people.csail.mit.edu Language: English ID-based encryption Ciphertext indistinguishability RSA Semantic security Cipher Advanced Encryption Standard Cryptography Homomorphic encryption Verifiable computing